"H.P. Barendregt" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Spatial Ecological-Economic Analysis for Wetland Management: Modelling and Scenario Evaluation of Land Use

Jeroen C. J. M. Bergh, Aat Barendregt, Alison J. Gilbert

Категория: Экономика

12.74 Mb

#2

The lambda calculus: its syntax and semantics

Hendrik Pieter Barendregt

12.85 Mb

#3

The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)

H.P. Barendregt

3.81 Mb

#4

The Lambda Calculus, Second Edition: Its Syntax and Semantics (Studies in Logic and the Foundations of Mathematics)

H.P. Barendregt

12.73 Mb

#5

Barendregt H. Lambda-ischislenie (Mir, 1985) (ru)(L)(T)(304s).djvu

6.37 Mb

#6

Barendregt H. Lambda-ischislenie (Mir, 1985) (ru)(L)(304s).djvu

5.03 Mb

#7

Introduction to Lambda calculus

Barendregt H., Barendsen E.

Категория: Computer science, Computability

251 Kb

#8

Lambda Calculi with Types

Barendregt H.

952 Kb

#9

Introduction to Lambda Calculus

Barendregt H., Barendsen E.

578 Kb

#10

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Henk Barendregt, Tobias Nipkow

2.98 Mb